Program derivation—the development of programs from specifications

Program derivation - the development of programs from specifications

Reading a book is also kind of better solution when you have no enough money or time to get your own adventure. This is one of the reasons we show the program derivation the development of programs from specifications as your friend in spending the time. For more representative collections, this book not only offers it's strategically book resource. It can be a good friend, really good friend w...

Automatic Construction of Java Programs from Functional Program Specifications

This paper presents a novel approach to construct Java programs automatically from the input functional program specifications on natural numbers from the constructive proofs of the input specifications using an inductive theorem prover called Poiti′n. The construction of a Java program from the input functional program specification involves two phases. The theorem prover is used to construct ...

Transformational Development of Logic Programs from Executable Specifications

In our method – that we call Visual and Textual Composition of Logic Programs – we have enhanced the schema-based construction of logic programs in two ways intended to bridge the conceptual gap between application domains and the programming domain. First, we define visual and textual views of programs that can be used to construct programs in application-specific concepts, and which can be un...

Iterative Induction of Logic Programs, An approach to logic program synthesis from incomplete specifications

Deriving Relational Database Programs from Formal Specifications

The derivation of database programs directly from formal specii-cations is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However diicult in general, deriving relational database applications directly from Z sp...